Back Kombinatorial məntiq Azerbaijani Lògica combinatòria Catalan Kombinatorische Logik German Combinatory logic English Lógica combinatoria Spanish Logique combinatoire French Loidig cho-cheanglachail Scots/Gaelic Lóxica combinatoria Galician Կոմբինատորային տրամաբանություն Armenian Logica combinatoria Italian
Kombinatorna logika je notacija koju su uveli Moses Schönfinkel i Haskell Curry kako bi eliminirali potrebu za varijablama u matematičkoj logici. U zadnje se vrijeme koristi u računarstvu kao teoretski model računanja te također kao baza za funkcijske programske jezike. Zasnovan je na kombinatorima, koji su funkcije višeg reda i koji koriste samo primjenu (aplikaciju) funkcije i možda druge, ranije definirane kombinatore za definiranje rezultata svojih argumenata.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search